Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
81	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra
82	ACM ICPC 2014–2015, NEERC, Northern Subregional Contest St Petersburg, November 8, 2014 Problem A. Alarm Clock Input file: Output file: Add to Reading List Source URL: neerc.ifmo.ru Language: English - Date: 2014-11-08 20:21:31 Formal languages Procedural programming languages Cross-platform software Lambda calculus Automata theory Regular expression Function Combinatory logic C Mathematics Software engineering Computing
83	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. Nathan Foster Michael B. Greenwald Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-13 21:11:53 Computer science Principles of Programming Languages Computing Lambda calculus Logic in computer science Combinatory logic
84	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
85	BioPAX Generics : Open Issues for Level 4 Emek Demir Memorial Sloan Kettering Cancer Center Generics Add to Reading List Source URL: sbml.org Language: English - Date: 2010-10-08 08:12:36 Combinatory logic Set Extensional context Mathematics Philosophy AKT Logic Class
86	Compressive sensing using locality-preserving matrices Elyot Grant∗ Piotr Indyk∗ December 4, 2012 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-10 19:22:49 Error detection and correction Information retrieval Artificial intelligence Computational complexity theory Universal hashing Lipschitz continuity Hash function Combinatory logic Tabulation hashing Search algorithms Hashing Theoretical computer science
87	An extraordinary origami curve Frank Herrlich ∗, Gabriela Schmith¨ usen † Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2012-09-05 04:03:34 Group theory Elliptic curve Holomorph Curve Combinatory logic Orbifold Abstract algebra Mathematics Geometry
88	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
89	MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-07-18 08:08:46 Applied mathematics Models of computation Algebraic geometry Field theory Valuation Combinatory logic Denotational semantics Theoretical computer science Logic in computer science Mathematics
90	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics